Minimal expansions in redundant number systems: Fibonacci bases and Greedy algorithms

We study digit expansions with arbitrary integer digits in base q (q integer) and the Fibonacci base such that the sum of the absolute values of the digits is minimal. For the Fibonacci case, we describe a unique minimal expansion and give a greedy algorithm to compute it. Additionally, transducers to calculate minimal expansions from other expansions are given. For the case of even integer bases q, similar results are given which complement those given in [6].     

Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

A relaxed model and its homogenization for nematic liquid crystals in composite materials

We analyse a model for equilibrium configurations of composite systems of nematic liquid crystal with polymer inclusions, in the presence of an external magnetic field. We assume that the system has a periodic structure, and consider the relaxed problem on the unit length constraint of the nematic director field. The relaxation of the Oseen–Frank energy functional is carried out by including bulk as well as surface energy penalty terms, rendering the problem fully non‐linear. We employ two‐scale convergence methods to obtain effective configurations of the system, as the size of the polymeric inclusions tends to zero. We discuss the minimizers of the effective energies for, both, the constrained as well as the unconstrained models. Copyright © 2004 John Wiley & Sons, Ltd.     

Delta and singular delta locus for one‐dimensional systems of conservation laws

This work gives a condition for existence of singular and delta shock wave solutions to Riemann problem for 2×2 systems of conservation laws. For a fixed left‐hand side value of Riemann data, the condition obtained in the paper describes a set of possible right‐hand side values. The procedure is similar to the standard one of finding the Hugoniot locus. Fluxes of the considered systems are globally Lipschitz with respect to one of the dependent variables. The association in a Colombeau‐type algebra is used as a solution concept. Copyright © 2004 John Wiley &Sons, Ltd.     

Artificial boundary conditions for Petrovsky systems of second order in exterior domains and in other domains of conical type

The approximation of solutions to boundary value problems on unbounded domains by those on bounded domains is one of the main applications for artificial boundary conditions. Based on asymptotic analysis, here a new method is presented to construct local artificial boundary conditions for a very general class of elliptic problems where the main asymptotic term is not known explicitly. Existence and uniqueness of approximating solutions are proved together with asymptotically precise error estimates. One class of important examples includes boundary value problems for anisotropic elasticity and piezoelectricity. Copyright © 2004 John Wiley & Sons, Ltd.     

Low‐gain adaptive stabilization of semilinear second‐order hyperbolic systems

In this paper low‐gain adaptive stabilization of undamped semilinear second‐order hyperbolic systems is considered in the case where the input and output operators are collocated. The linearized systems have an infinite number of poles and zeros on the imaginary axis. The adaptive stabilizer is constructed by a low‐gain adaptive velocity feedback. The closed‐loop system is governed by a non‐linear evolution equation. First, the well‐posedness of the closed‐loop system is shown. Next, an energy‐like function and a multiplier function are introduced and the exponential stability of the closed‐loop system is analysed. Some examples are given to illustrate the theory. Copyright © 2004 John Wiley & Sons, Ltd.     

A note on the necessary conditions for the algebraic Riccati equation

We derive some useful and easily computable necessary conditionsfor the existence of a positive semi-definite solution to thealgebraic Ricatti equation (ARE). A motivating example is givento highlight the usefulness of the conditions for controllerand observer designs for nonlinear systems. Further, an upperbound on the trace of the solution to the ARE is also derived.     

Stress State of Multilayer Thin-Walled Elements with Interfacial Defects of Structure

Based on the discrete-structural theory of thin plates and shells, a calculation model for thin-walled elements consisting of a number of rigid anisotropic layers is put forward. It is assumed that the transverse shear and compression stresses are equal on the interfaces. Elastic slippage is allowed over the interfaces between adjacent layers. The solution to the problem is obtained in a geometrically nonlinear statement with account of the influence of transverse shear and compression strains. The stress-strain state of circular two-layer transversely isotropic plates, both without defects and with a local area of adhesion failure at their center, is investigated numerically and experimentally. It is found that the kinematic and static contact conditions on the interfaces of layered thin-walled structural members greatly affect the magnitude of stresses and strains. With the use of three variants of calculation models, in the cases of perfect and weakened contact conditions between layers, the calculation results for circular plates are compared. It is revealed that the variant suggested in this paper adequately reflects the behavior of layered thin-walled structural elements under large deformations. __________ Translated from Mekhanika Kompozitnykh Materialov, Vol. 41, No. 6, pp. 761–772, November–December, 2005.     

Diffusive behavior of asymmetric zero-range processes

We investigate a new interpretation for the Navier-Stokes corrections to the hydrodynamic equation of asymmetric interacting particle systems. We consider a system that starts from a measure associated with a profile that is constant along the drift direction. We show that under diffusive scaling the macroscopic behavior of the process is described by a nonlinear parabolic equation whose diffusion coefficient coincides with the diffusion coefficient of the hydrodynamic equation of the symmetric version of the process.     

Vacations in GI X/M Y/1 systems and Riemann boundary value problems

We consider systems of GI/M/1 type with bulk arrivals, bulk service and exponential server vacations. The generating functions of the steady-state probabilities of the embedded Markov chain are found in terms of Riemann boundary value problems, a necessary and sufficient condition of ergodicity is proved. Explicit formulas are obtained for the case where the generating function of the arrival group size is rational. Resonance between the vacation rate and the system is studied. Complete formulas are given for the cases of single and geometric arrivals. This revised version was published online in June 2006 with corrections to the Cover Date.